equivalent conditions for integrability